Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fixed available generic args for default impls, and lowering diagnostics of trait fn bodies. #7045

Merged
merged 1 commit into from
Jan 12, 2025

Conversation

orizi
Copy link
Collaborator

@orizi orizi commented Jan 10, 2025

Fixes #7031
Fixes #7038

@reviewable-StarkWare
Copy link

This change is Reviewable

@orizi orizi enabled auto-merge January 10, 2025 11:49
@orizi orizi force-pushed the spr/main/c29f1286 branch 2 times, most recently from cbf018c to b0af8ca Compare January 11, 2025 14:06
Copy link
Collaborator

@TomerStarkware TomerStarkware left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewed 1 of 3 files at r1, all commit messages.
Reviewable status: 1 of 3 files reviewed, 1 unresolved discussion (waiting on @gilbens-starkware and @orizi)


tests/bug_samples/issue7038.cairo line 6 at r1 (raw file):

    ) {
        func::call(f, ());
        f();

don't you need copy for this?

@orizi orizi force-pushed the spr/main/c29f1286 branch from b0af8ca to 54953d7 Compare January 12, 2025 10:18
@orizi orizi changed the title Fixed available generic args for default impls. Fixed available generic args for default impls, and lowering diagnostics of trait fn bodies. Jan 12, 2025
@orizi orizi force-pushed the spr/main/c29f1286 branch from 54953d7 to 5b3d263 Compare January 12, 2025 11:09
Copy link
Collaborator Author

@orizi orizi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewable status: 1 of 3 files reviewed, 1 unresolved discussion (waiting on @gilbens-starkware and @TomerStarkware)


tests/bug_samples/issue7038.cairo line 6 at r1 (raw file):

Previously, TomerStarkware wrote…

don't you need copy for this?

Done.

@orizi orizi force-pushed the spr/main/c29f1286 branch 4 times, most recently from e6e6194 to 0f7151e Compare January 12, 2025 11:27
Copy link
Collaborator

@TomerStarkware TomerStarkware left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

:lgtm:

Reviewed 1 of 3 files at r1, 4 of 4 files at r2, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @gilbens-starkware)

…ics of trait fn bodies.

Fixes #7031
Fixes #7038

commit-id:c29f1286
@orizi orizi force-pushed the spr/main/c29f1286 branch from 0f7151e to bb9564b Compare January 12, 2025 11:42
Copy link
Collaborator

@TomerStarkware TomerStarkware left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @gilbens-starkware)

@orizi orizi added this pull request to the merge queue Jan 12, 2025
Merged via the queue into main with commit e28f6d0 Jan 12, 2025
94 checks passed
@orizi orizi deleted the spr/main/c29f1286 branch January 15, 2025 15:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
3 participants